void ex1_2();
